408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41,

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Type theory
• Algorithms
• Programming paradigms
• Finite-state machine
• Algorithm
• Declarative programming
• HindleyMilner type system
• RANSAC
• Monad

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 4,

Source URL: dept.cs.williams.edu

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. X, 201X

Source URL: dijkstra.cs.virginia.edu

54 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 38,

Source URL: dijkstra.cs.virginia.edu

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, TBD 1 Automated Oracle Data Selection Support Gregory Gay, Matt Staats, Michael Whalen, Senior Member, IEEE, and

Source URL: www.greggay.com

Littlewood, B. & Rushby, JReasoning about the Reliability of Diverse Two-Channel Systems in which One Channel is "Possibly Perfect". IEEE Transactions on Software Engineering, doi: TSECity Rese

Source URL: openaccess.city.ac.uk

• Engineering
• Safety
• Risk
• Reliability engineering
• Design for X
• Survival analysis
• Safety integrity level
• Redundancy
• Availability
• Probability

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. ?, NO. ?, JULYA Component Model for Model Transformations

Source URL: www.miso.es

279 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY 1997 The Model Checker

Source URL: spinroot.com

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 38, NO. 6,

Source URL: www.franktip.org

2015 12th 2015 Working IEEEIEEE 12th 12th

Source URL: ronia.net

• Modeling language
• Scientific modeling
• Software design
• Software testing
• Software architect
• Collaborative software
• Software development process
• IEEE Transactions on Software Engineering
• Entity-relationship model
• Computing
• Science
• Software